You have chosen Semantics for Propositional Attitudes, Models and Models.
All three must be different; choose another text.